free energy proof